Inter-Hierarchy Comparison in HCLP1

Constraint hierarchies have been proposed to describe over-constraint systems of constraints by specifying constraints with hierarchical preferences, i.e., hard and soft constraints. While the hard (required) constraints must hold, the soft (preferential) constraints should be satisfied as much as possible depending on the criterion used. Currently, constraint hierarchies are mostly applied to the areas of graphical user interfaces and geometric layout, but the area of usage is much more wider. The integration of constraint hierarchies with Constraint Logic Programming (CLP) is called Hierarchical Constraint Logic Programming (HCLP). In the original definition of HCLP, only alternate solutions to one constraint hierarchy are compared and the best solutions are returned. The later extension of HCLP also enables comparison of solutions to more constraint hierarchies arising from different choices of rules in HCLP program. This extension, called inter-hierarchy comparison, extends usefulness of HCLP programs by eliminating non-intuitive solutions. However, at the same time, it introduces nonmonotonic behaviour in HCLP programs which creates novel implementation problems. In this paper we present an algorithm for efficient solving of constraint hierarchies using inter-hierarchy comparison within HCLP. The efficiency of the proposed algorithm is based on tight integration with the HCLP interpreter and on elimination of useless branches of computation. As the algorithm makes an extension of hierarchical constraint solvers which support global comparators, its efficiency can be further improved by harmonizing with underlying hierarchical constraint solver. We present such an extension that uses properties of our generalized approach to solving constraint hierarchies.